Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Linkage
11011110.github.io·12h
📐Linear Algebra
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
Truth, Humility and Human & AI Incentives
zappable.com·1d
🔲Proof Irrelevance
Navigating the knowledge paradox: Why having some answers can be worse than having none
phys.org·10h
🔲Cellular Automata
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·1h·
Discuss: DEV
🕸️Graph Embeddings
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
λLambda Encodings
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·3d
💎Information Crystallography
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1h
🧮Theorem Proving
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🌀Brotli Dictionary
LLM Rerankers for RAG: A Practical Guide
fin.ai·1d·
Discuss: Hacker News, Hacker News
🔍Information Retrieval
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·1h
🧠Machine Learning
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔧Hardware Verification